('a * ('b * 'c))
